2008. Количественные оценки формальных языков
О количественных оценках языков и аксиоматик обобщенных теорий (тезисы,
2008) О логических мотивировках для изучения арифметики бесконечных кардиналов (тезисы, 2008)2003-2008. Структурная систематизация формальных языков логики
Структурный анализ и классификация формальных силлогистик: языковые аспекты (презентация выступления на Ломоносовских чтениях 2004 в МГУ, Power Point) (2003) Справочный комплекс по языкам формальных силлогистик, работающий в режиме OffLine (2003, требуется поддержка VRML) Информационная
система по формальным теориям на theo.ru (2003-2005)1997-1999. Арифметические модели естественных языков
К формальному представлению языков естественного типа (тезисы, 1998, текст
не сохранился)
taras_a_shiyan@mail.ru